<?php $group_json = '["4"]';?>